more progress on the reddit proof