grammar nerd sidebar: > Agile is an iterative methodology, but all iterative methodologies are not agile. is a sentence that contradicts itself. You meant "

grammar nerd sidebar: > Agile is an iterative methodology, but all iterative methodologies are not agile. is a sentence that contradicts itself. You meant "Agile is an iterative methodology, but not all iterative methodologies are agile." Notice the universal quantifier moving across the negation is not semantically stable. And the reason i thought it "fun" to mention this is to segue to this cool topic, which is exactly what i mention above. https://en.wikipedia.org/wiki/De_Morgan%27s_laws#Extension_to_predicate_and_modal_logic https://en.wikipedia.org/wiki/De_Morgan%27s_laws#Extension_t...