simple_dimpl MiniSophiaa is here... let's have fun!