:
¬f