update N=4 and general results with Panraksa's thms

also fixed x -> z notation
rename subsections