logic.ijs : cleaned up logic var definition
logic.ijs: shortened 'given' and switched to -: assertions
logic.ijs: simplified 'given'