correctassumption (172.164)