This should be `and` for control flow, right?