BoolLat.v