Example re. assume(...)