header
P(David|Kipping) ∝ P(Kipping|David) P(David)