this is a misleading name, as it's not a value of type ``Option``