00:00:06 Demosys - An A Logic