BASE over = BASE over over