Bool/not.kind