Algorithm of truth