leo: synthesis batch 3 #3013

Closed
m3taversal wants to merge 3 commits from leo/synthesis-batch-3 into main

3 commits