Add writeup for G
Add complexity for G
Add writeup for J, not proofed