bertie prime 1 | ← bertie prime 1