Limited theories as framework for human-computer interaction