interface Aircraft { method set_pitch (...); } class Jet : isa Aircraft { method set_pitch (...) {...} }