Add hypothesis
Recompile pdf