First go at representation for capturing full proof