1SAD (Explicit)

converse (Explicit)