added tikz pictures