Title: Some formal properties of informal logic