Symbol: QED_IS_K2