a: mike
b: [t, f]