Proof LEGO Sets Are Getting Smaller