(> 7 ^ 7 . 
