import csharp

from Overridable v1, Overridable v2
where
  v1 = v2.getAnUltimateImplementor() and
  v1.fromSource() and
  v2.fromSource()
select v1, v2