working (?) assumption code for multiple assumptions in encryption setting