bottom correctly rewritten