[(q=>p)=>(p'^)q=>p))]^p=?