January 28, 2023

completion and motivates