started work on Representable Prof