up to HeatedChordState + demo