Temporal ontology: tenselessness and quantification