Assume And