That’s a little version of Faust