Implement push state for formation.