Flexibility, Completeness and Soundness of User Interfaces - Towards a Framework for Logical Examination of Usability Design Principles