< x : B | z >