This is just a demo for the moment.

Here is a static proof: