pub type PAndSnd<A, B, C, D> = Imply<And<Q<And<A, B>, C>, Imply<C, D>>, Q<B, D>>;
Sends second argument of Logical AND to higher level.
