lab1 ok. phase y consistency