Header-only pre homomorphism.