More on theorem proof skeletons.

Universal quantifiers examples - TBA