Towards a formal approach