rename to finite presentation basics
actually add renamed file