check assumption