Rename permitted_commit -> commit_permitted; the latter makes more sense.