added an extra check constraint to satisfy project requirements