19 (Explicit)

hol on p (Explicit)