for z being Tuple of 1, BOOLEAN st z = <*FALSE*> holds
Intval z = 0