“…MULL: Modern Uses of Logic in Law…”