Renames f to assert