assert c, a
assert b