Looking for Folding A Regular Octagon From A Square