2 argument naturality