{HEAD ~ y} represents {TAIL ~ an integer} greater than or equal to 0 
represents
{ HEAD ~ y } represents { TAIL ~ an integer } greater than or equal to 0
HEAD HEAD HEAD HEAD HEAD REL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH