proof delimiter tweak