Checking Proportionality