Linking README to article on Prop Logic in IEP