Debug: all labels proposed