Can't we just write this with `%`?