Now using IncoherentInstances.