updates for general assumptions