rewrite with different notation setting, add primilinary analysis on pure marcu& wong