holds

open override fun holds(): Boolean(source)

Always true since it should not matter whether an ExplanatoryAssertion holds or not.