 One can specify that is only allowed on instances satisfying , and will otherwise throw an exception.This requires anticipation of the problem when Ellipse is defined.Create an abstract base class called and put methods that work with both s and s in this class.