more premissive with names