Talk:Oberon/@comment-129.96.82.97-20170530150421/@comment-129.96.82.183-20170531013048

My calculations were off, GP is not actually needed for the strip-in-2-casts, so any arua could be used.