annotations for conditionals