Checks that a `