Define formally educated.