Question 436435
 Z = { z an integer | {{{12<= z <= 19 }}} }.