Rewrite of section I
Tikzified HATP plans