Boundedness of log Fano cone singularities and discreteness of local volumes | Synapse