Okay but they are formal systems and don't have anything to do with AI either, do they?