Plato's forms finally being proven...