Header-only post homomorphism.