Existence conjecture for higher Frobenius sandwiches. There should exist a p∙p^\bulletp∙-basis of RRR over SSS.
