How deep to carve when roughing out a Byzantine leaf