v1.0.0 updated propositions => conditions