Presumably this returns something, so should we add returns and type lines too?