Add the `isEmpty` function