Bool/and.kind