PROLOG (Explicit)

A Ty? (Explicit)