gonna use protege output instead