Ment
Auto-translated
Okay, let's try to build on that. So, alright, two options: a simpler one and a more complex one. The simpler one is to execute Mana, use redirection at night, and that's it. The more complex one is to execute Demi. At night, we'll have to rely on Markelius to help us get rid of Mana. Moreover, if we guess correctly about Demi, then Mana's nickname will be obvious to Markelius. Something like that.