*** Original PC ***
   0 <= Y0 - 3
*** Minimized PC ***
   0 <= Y0 - 3