Sundholm, G. A Logical Framework. RHV 2013, 35-40.