Text this: On the synthesis and optimization of MVL functions