<>([](!((<>("Fork_2")) <-> ([](("Fork_4") || ([](("Think_8") -> ("Eat_5"))))))))