proofed up to showcases/tikz