(assume)