It's in the FAQ. Someone else posted a link to it in the comments, check it out. And yes, it is about tacit programming.