Initial version

Not clear what "returns_one" means here.