Does generating examples aid proof production? · Study