In this publication titled principle of excluded middle example, I have provided a complete image from start to finish ,Please look below
