PartiallyAbstracted.