t e r : s¬