09 - conditions

guarded equations