assumption validation