( HBt & ScntD^f.