For the sake of terseness