Added comments summarizing constraints