true

true => a & b

expect (a)
expect (b)