I guess let's explicate all returns