NOTHING TO PROVE (Explicit)

OPTIONS (Explicit)