' : n full ' & b % a 2 1.