Require Instant Coverage 0.0.12.