checkpoint.  implementation complete sans gcd which should be trivial
checkpoint.  implementation complete sans gcd which should be trivial