Initial front-end for Steffen