Tests for constraints ofv