introduce Vuk's environment