Certitudes of K