Early version of proof branches