#itsnotnothing intro to the rabbit hole and explanation and examples of predicative programming