Register example in slides
Proof test-reg and explanations in slides