5.1 Introduction: what is a put-option