Kerner: trueness to type