point to prove (Explicit)

cat (Explicit)