Theorems by Icicle | Amplify Sync