alpha \to beta, xx \mapsto yy