added support for assumptions