Smoosh theorem view 2