The KD45 axiomatization preserves positive and negative introspection, forcing idealized agents who ...