point to prove (Explicit)

resources