PanLinx: four valued logic