2 : ?o^r |=