remove assume