What Isa Specification Anyway

Empty.