Uses of Interface
at.jku.ssw.fp.sect06_2.Reducible