module A061b where