prove new abstract class