added owners in samples/prog-equiv.