The composition of two group homomorphisms is a homomorphism — AI Alignment Forum