The joy of implications, aka pure Horn functions: mainly a survey.