A formal Explanation