item

open override fun item(): SatisfiableItem(source)