VAUXDVIHL

To Dimension Logic (Extended Version)