use None instead of Nothing since it None is just a null pointer