Formal Framework and Necessary Properties of the Fusion of Input Modes in User Interfaces