Theory of User Engineering