A Formal Explanation of the Experience of Witnessing "blue"