A first (rough) working example