All constraints implemented