Sora kemonk. Truth table for p implies q. Witransee. Buderus mec2 display.