Rename introducing_premise.markdown to introducing-premise.markdown