Assume y