prime test (range & forall, exists)
for
queens problem