inverse metric
Fold theory into reality