AcademeG. Старый знакомый и новинки A-Proved