intelligent formal