Assumption checks