let
logic_labels =
List
.map logic_label