version bump 0.2.9-b: logical formulae