j/logic.ijs : a logical vocabulary plus a bunch of laws