Relax (Explicit)

Consequence (Explicit)