Main results (12/21)

Main results