Mental Objects And Modal Logic Playground