Before revision: Some actual formal theories on facts have been URL
After revision: Some actual formal theories on facts have been proposed.