Author: Andrei Voronkov,Franz Baader