Disciplining Assume