, f k , a ¬ ra wakt.