Consistent (Explicit)

Relax (Explicit)