Text this: MILES FORMULAE FOR BOOLEAN MODELS OBSERVED ON LATTICES