2nd cons X cons Y Z Y from X cons X from s X 2.2 from X from s X true from X from s X true Failed! NaTT certifiable-1.6