Faust Logic