changed = to -: in assertions