if_spec