and (101.001)