call reformulation from Python