K-REx Test Env

A variational principle and its application