Title: Users' manual