p : B Ot & -2