Leave sorting U into its various parts to the InnerMatchState