after constraints