, a n ¬Frohm