Added (un)assume(d) commands