I fear rleigh-dundee is correct her. This (moduloAlomgT)  is what we'd like people to do so I guess we should make the example match.