=¬f