@conference{lieder2017optimal, title = {Optimal gamification can help people procrastinate less}, doi = {} }