EU4M proof

This is a simple test to check