Forbidden constraint added.