checked assumptions