store assumption and verification