Completed constraint check 14, 15