[krapp]

Requires coercion to enforce, like all contracts.

[PaulDavisThe1st]

Coercion to enforce, but no coercion required to succeed!