Actual information from Automata and Logic group