a L x L a x R a x a R x b L x b R x R b x L a b x 2.2 R a x R x R b x a b x a L x a x b L x b R x R a x a R x b L x R x true b L x b R x true Failed! NaTT certifiable-1.6