? lift( 1 / Mod(3,17) ) %1 = 6