00:00:05 Demosys - An A Logic