a fttt a !b , ta!