Smoosh theorem view 1