Alt-ergo zero version 0.3