Verification and coercion, with JSON in mind.