Paper: write section 4.2 more comprehensible