s t , o s ¬t