I had written this post to have a higher level understanding of traditional vs Taalas's inference. So it does abstracts lots of things.