TODOs for provide_condition_spec