Badiou's Ontology of the Present