Kripke — Problem 4: Provide model in which phi->Mphi is true, phi->Lphi is true

[Kargulix]

Are my solutions correct? The number in the circle indicates the problem/task number. Thank you and best regards!