LETTUCE: BATAVIAN