We should probably assume everyone knows what these options are