Make the Framework Condition typed