completed introduction

first version, reference to FLINT missing