[check [N X F : [[integer?] [[X % zero?] [N F cons] if] if]] view].