removed old Proves def
Subtype defined
del