craftyThoughts Composability -> Expressiveness -> Correctness -> Testability -> Intention Podcast website