— Leander formel logik.