myslf (Explicit)

point to prove (Explicit)