let logic_labels = List.map logic_label