Smoosh theorem view 3