==⚠ Switch to EXCALIDRAW VIEW in the MORE OPTIONS menu of this document. ⚠== You can decompress Drawing data with the command palette: ‘Decompress current Excalidraw file’. For more info check in plugin settings under ‘Saving’

Excalidraw Data

Text Elements

Embedded Files

914cdc2949d4427ab90d49ce9d2168ceb48088c8: \(s\)

e000670ac0745519e976d97a2da23033d347e67d: \(Q(z, a, z_g)\)

27c05ca5653f24f47cf788c477174926a88ef5bf: \(\pi(a \mid z, z_g)\)

c130e391da51107a97375974d60f95a048bb466e: \(r(z, z_g)\)

91895c3b22e38745c59653a00f19d5550f657d9a: \(z_g\)

9d98b7a5b0104fe7e77531e1cfb7a507fd55a5ff: \(a\)

1e98a060a994b1eb0279d6254b13d5e6b1d21cfc: \(z\)

3ab63b8deb80a243aa26506bc12bff394004e42c: \(g\)

98308183906258dcd24701a9444987e1d76f32b0: \(\phi(\cdot )\)

6da87d646b0f65af243b33463cb16988a56cb41e: \(\phi(\cdot )\)

%%

Drawing

N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBGeISaOiCEfQQOKGZuAG1wMFAwYogSbggAWQB5AA0AQQAFADlmSQBhAGkARQB1ADMAFUwAUTYADgBlYc0U4shYRHLA7CiO

ZWDZksxueIB2AAZtAGYeeJ4ANnij3YBOPd3r/hKYbkvtA54j/YAWfZueXbxACsQJuT0gFBI6h2NzG2k+33O+3OSOud124KkCEIymk3E+520/yOQPi5zG8W+QPJY0x1nW4lQ+0xzCgpDYAGsEG02Pg2KRygBieIIEUizaQTS4bAc5TsoQcYg8vkCiSCvp9BDYG43CUQPqEfD4CawDYSbDs5jMZySXBQbCSPWs9lcnpQx1oPgFARszkIE0wM3oQQeP

Xy3EccI5NDxTFsODStQvGP7ZneiBy4RwACSxGjqFyAF1MX1yBlc9wOEIjZjCIqsOVcPsw8JFZGrdwinNoPBGUdvQBfFkIBDEbg3c67Hg6/ZHc6YxgsdhcT3fWPpxesThNThiHZjJHnAGT+fpwjMAAiaSgo+4fQIYUxmlbxGGwQyWXzRcxQjgxDtt4xrs3xjBSyIToiQKYkQHAcpW1b4NBbAyoBqD3vgYQFEOBRdpAZQSA0bRdPQzDYAAUgAWkYAC

ORgcmMRg1NmAASpBjHA5x6gsjKlPo0RIJi2xoCB2jfJ88QTp8qZ3EiUHpsmqDxPsQLwucXzfGJ+xSZcYLppCxDQmgJLvCCZIgucE4HP8mKSNiuJQDC2jgWJZLXMCuxjDw3x0msQZpt2zp+sq/JCqmYXNk+0qyvKirBaq6BstYzAJoEWR6gaRoBkGUjShogROr6rrujsLKFf6po8SGZSYuGkjtvm67dvGiawDsqY1S+9XwTW6ZhKhZxjH8Xw3PstI

bkwW4rrwSkLhNy47hwe5oINtyjRJp7dr+/43mOQEgRSSlfEC3xHLWl7Xqh6GPumma/rmX7Fumz4Kq+76ZNkeTeoUX14bt6AXucAD6RgVBQAAywzONmACqABWuD0B0yh1E0DRGEYEolNxjakOyVBfQO3qPd2MFwWgVY9STyFcn9V0ICWhoIBWEgirCTZIrgOrfJoIqaFptzEEex080cxBAgg5w88QpzYH02BOu4jL5HMYCNXM8RE7W9ZCeguDxOlZ

ZM39FOIb1URQEI+YQIgip1soeoWvG3X4FhTy4aUf0QN8zE8M4yj7MQAxg84HIDOcACaQd9FSHR1FxvblIQfHKAJ6Y684pzfAkYzfMBwE8Pstw3ECGLydwBzaOca5AgXhcafEYyApi+mGagxm7KZ5zmZZfxet2tk4niMY3E5FkuWpgIl553npvSfmlS63K8iFarhamepSjKt2xcv8XQOQHDJbgqUOQzmUVeUtoOiIqcBWVboGR6ikL36WWVby1Xpr

VXUxnGCbYEmNq/kSgxWID/VAJthz9R4DAiygJBqzSXJwbgRwNKIMmgtJabcQRjB1EpMam0/wAT+nsfaiRlL7DJDPbs54rzBB2neB89MbryhzHmPIxMSjPUVG+dI70HrQTrGTCBCEkIoVpkws+Rtyh3G+NgYg2BpzfBuMQDSAJcCaBGqom4YgVGnHJGITQIFRpjGwGMBWBAlZfTVsUDWcxOF4W1o2eIAA1A2uByzG1EWbO0ltyg20cGsB27I4DO1d

jhdM2MJAwVviUTcy58RXAIXEua25dyMinKNY6wC8LnXoZdSRZ5PZAk0MoI4+h4g4GIEcZg3wGgdHDhQAYvtswNHSoaY0F9zSWmtLae0joX5FUfiVM2i837lCqmODqfg6pRhGU1f+gCUw5IgHPRkSQS6FwnCcScNwQLF1Lt2dOFcbgHGrqSKu1xTiYgUqgpyqYLipiOGSAERxdJ30XnFUKa8N5RW3kqXeQpcBAmIGMDUeoW5P3+O8ShxdjpVx+NcZ

JkAB72W4KBY4IETgHknJQ1MhySh9T+geM4/xUzUJKLdNhX4voQAmGDDo9AGjfCqAAJTYA0JS+AKDMSBPofAgRw4QE1j40gUAABCdZAn23Jt47smRiCSttkE2VlMSj4FCFAHk+h9BqB2g0NgdYHKqtNnfY+UA6i4zYBQWyuAvFqsgAqy1eNbX2tNSUOAhrPyfRVsrFWOTij7C+g4sAfq5gnG0Jsq5s4O57HeSrI4RItljCBD8FEg1TIIGcJSYN4JQ

0/SRE5PZFxSR7CRcpPNYAMWoLGNilEBwlKF1zV9MNxRnARqRLsCys5EQohLn3FW1aSQT1uCWruuxm2+p+gGsAQaVaFhFTQpxEg9ZTPTKWDx0iTXTLbHM7dT0Xy8I/B9NA350xbWITsYCoFyENyODnQRsFnZiJpowjCCBwnFHdvhXWFR6DOAAGI3HDnAADLjnAVDIGRKoAwmgAHEyJkXjosCQSd+J6nTjcRNYlARdvgYkYuFLIAKULV5fmE49lHhR

PGiExU0BvBLkpY6RwSS7DYySGydkh5tzhF2iySIrgPDXDwA8PkGTcBWYFLkXzV4/MilvUBMmEoHyPifdp59Aw8SvnlWJPpF4P1bjYiAUnyqaYmR/Nd3Zv57ufumZqADWrLJ3WAmzkDeojmJY3K4pwTjoISWgEEA7IDxLSYtdZDw5xsY8siiAF6GF7RvUpO9D6zx5IQPFtChTuxUvuj67s9LGXMrZRyrlPK+UCoQEKxdXDD1vW9aehxEBSbPvTHyc

Rb7rrdgylu9AsIvgUlrSNIWYwFHS1zpQzmGllGN1FMQLtfQTh8wsUGVtNjVbVcccQBsK74j4HcZ4lrZqLZWwCXbYJTsTWfu+t2KJ6AYl6hC1NGBHHxpII4Jg9ZtajyJGnEF0oaWMt01rJ7cpYwmhwBgJgDgLijgXgaLDaiYNzjKEBEcaG6nOlme6WwK0No7QOgKvpujtmPmvy6cGCzLYZngKM/ZpZil2qz18usyNBxbhqQuLcfZJdBLcGcBXT4SK

hMklnCJm5OxETHDnMpBFvwROUkGUvFU3zwq/IUy+JTEBBTAtBeC5uxPoUNrhYiX4J0PKccHsa1A1asUifrXiwuUCSFRupMXDalLWG5dPbSrkQgAM1H2HUTAHRhhkXDtmbM9gKhCAvDUMGwr7GlXNUq6Vh2SgKpT2d/dJNNXat1TIUcBqjVp59Oa511rXUl4wIqcvNqQhusxJ6o1NKp0q1nZWudieW0/QjVGzJ1xSS3ErYmkatwU1pvJMpUkWac3z

rza2sAha/hiS7okB4HkK0/Rt7Wu3uLG0Trn93tv7a4idu7aglE46gvFCHdSa4o6u7jsnXMBfM7O/FAXV3pdW2darPiKEksQ2ZmERB1CAUBcBNzbsbhV6PherAsRrOLfqa9A6PFe/R9YRSA9VamApd9K7b9T2aGADVlP2TQADYgMGYgaiFoDoYgegCiI4UgcVfWTEW7XidDXnNAZwaFbtY6FNKkBuakcXICOIEuM/ZED4YCU6PSYnBjQEZSE6Vjdj

IjLES3FBXjajATa4VBUlMTeeUZIKQFWTVXeTaKDXQw5TJKFKd6DHcZCQbTG+QnP0AzJ+IzEzWwinUMaZCMGzWnRZRzBnFZcA1zOVQlDzdFGBCkUEKcPzZBejZRGI97dJdFQuL4K4X4H8IhDLUhRLVA83VLOhdLHAzrD3LML3AsH3BAP3APIPEPMPCPKPGPOPBPD/J8WrWAk9eA9AqvNrV9NAIHddRmYAiAc4f8RuQWREPmPoLuXAPoLyI4TQFjRE

I4bAHmCyUCYFc4FYtcXTYzRWPLWxPNOxFos8ZdXWeIU+ddIAhvHxY7fxBVM7TER2UJS7YobCL9IpcoOoCgMiZibAKoTAUgb4ODNQOWADIEfoGAG4AZSJBOVDZOHYnWCSOINcE4H4DSB4ETZQhSMkJIVBZRB4NfauF7bsSFCXQkEkC4dEucXFB4C3NFIyLOEEXg8yETHgVNVBXQxkSTMqTXQUNeCKJ6P5RTcw/eSw4+aws+THbKew/KRXZw+ZQlMq

dw4zSnLw2ZDsX+OzPw7ExnKzTqYI0AolHYe9U4XBY8BI/EUCBIj7V4VEkaU5P7RAkhZApSfjSCM6AowHLLEou6dhBrVol6I9fhDhLo7PLA9rPo70yAbrIYhAMKXFaUOuUyG4BAU5EY05XAHgf8KSFjapXOCWXYSzQlPY73FWNbI4sARrKVbbXWHgfbHrTA0vW4iQU7IJR4kJMJV4t2D4iQUGNgcOGoHoBofYcOBoTAC8CYUgCYI4ADIwfYfnZDHi

NDFODDGEOIFjBuJ5SkB4Y6IQ3gFjeEUEPZW4Q6P4FNfXYZGMakJyYEWtJSB4P4Ok7jYyOcEkUCa4R/A4FETkiTRXXk/ktXUwl6TXRKQ+KwtKSU5UmUnYkzeUzU0nLkZUyZKnbwjUknEoOnfwxtZzCAkIgQMImMFjP4YCNEi0z0A4a0pIz0YENSA8MXc9TIpAshcCKuLuD0i6CRd9TEHLP0zog9QMurDos9EmIRbo7Azi4o6MwYz2AEbAZSPAakIE

I4WY74aOXYWWaLbAXOXDZRC4XAUCBAPoEpPoZbKxMsw4jbUoU41ZI4es4Axs4zc2PxFs+4ts9MJ4zssAN467EoH9CAcOb4CiOoaiOoaGI4JoCYcOCiMGOAQc74OoGoegYYRcxOeE1c4eRNWcRuUdYtNSH4PckaSNTyW4Z5PZQuKhC81uU5SuE4EkV8sqgud3FFLjK3A8iSVNB5LQyyH8tAbkz5EUvkuTQU9XYCkU0C1TCUgYjTaU3KBwuU4nVwpU

8nFUzwr+YQVChqP+FqHUwI/UtChyo0tADuMecyMituR3V7DBKi/c3BA4FjR0xi505it0ti/IjijrZhbLT3Xi4SmrAS9ogRVrUSsMyAHoooz6koGMz2bAK4fYBAN5eIf8UtQuTmdfKI74QWfYPoYuJsECTQIxFEGCks8o8y6xSy6s3/XAb4Oy64o7Zy9AVs+2dsi7EAl2LsiJGhT2QgGofAS4IEZQODHgWGbAOAG4bMMOcOZiODC8HIFg2E9AZchE

7gVNSNWEFNYEOcKkIERuOSbsbE0EJyGBJLLJbWu/Sqp+YyTyOcT4LmY6VNZQ1FbjETSubW3BO4N3aXKQ7sNZX8/Q6TAagCkw/5EClTcCi4rrDpKC2a2Uv2hAOC9CvTMnLHDwz+PU6nHwrahzHanCg091fC1CN3daKbM6i4P7R7G0mMS4WcEEMSGLJ0q9MhJSC4LDGjf7T08G7i76wGqAto49FvOYXCXyz2YYDofANoQGHkQgZwNgbMCiVlTAGoWW

bMCYCoZiTGeYeW1ZK1fGFWQmL/dVYG1ml9DuqanrCAO4XBIEbAeYmBeGxuKkbAUELuI4JsLGiSMWEELG8dYgG4XAUy/Y1WCy/ezbGs1ZIEGmqvVkXxE7Vypm9yjsl4ry7szm8oXYcOCoblZiCgIwP42GZwY+bMb4ZQMiYK3UOWlDBWtKjg1ADOQubQRufFDuU5LSWEP7bE24JyN5XBCeJJPYJqiAUkoyQ4XS+81fREd2p8q3GBY4JERuXBKbe85Q

n23qv8gOoaqAoUsw5XCQcasOmw5a6CxwoZQzRXJC1Uta9OtC3w7aoBHO/avC4zAixSGuLyKLCcM6/rSisLHYSke2iqhi7aJinIpSqcIzWhd6yMrilhUon6xraAoMuA360Gw+hysGiSiGqS4IIYl+zQNSTQEbBAfJ/YTMk6XATMruZETQGGngTQDUN5X4H4BAMSeWFkYm1bIB447/UB4FNxQAzdeyhxqB5shm2B87Z41mvAns9ATATAGAQgaiGANo

BoZgI4OAdGHgegIwQGI4HoaWFKuE9gtOHYQkPZFEguPYWcIaGLBSLyFSK2nZP4U5RY5QwRtuQkL7GuYCCyEkZRVux2q3MkBIYEWEQuScHOETC6725nX2hCpXFedAQa4w4aoCnebRiwsC8UiCqaqUrTaOmC++Ba0x5a5CtUmnTO+nbCix3dexw0pxi4Ckf4ayS6/zG6rxrBQ6XOajdIgJy9BLMCF63W3ygHE+r6mJ7uv6nhQS8V5Jp9EGprcSj6qR

IYlRWETQXYYFPmJSVShAXYHVjuZ5UUWWNV4FQuPoD+4FPXXqNp6xDpysrWH/RsTiPpg7OVoZ+m62UZ5m8Zk2SZlBiQEYbMFxegMGAYMYZgG4QgMiGoFMigNgHgCiYgZwfZ3Wbe9K1AQqtjLKrZWcGcNhnxlSP4FENE57UhL2koV5rtehq5bW1BT4HBSRmFkoZRpkVRtFrXMUUUHYzeFFgFNt9UTUbUMh7F5Ux2XHPpAneay8hOxysZYl8xtOjahU

yATC7O6J306V/UK4qvCmxsXYKnal/MQensChngQcJ3CXf4bW0Fs6q4fh8u66q4JSrSRIQQt6/JdJgMyVgGkMnlrIl010k4HnIG2Vo+1rBVyJyS62L1ISo/f1DvZ/YoBfSt2tKcGtsSEkbW+D+dSyjVVkPPPVQvaDyBqIMVTPFVUD+VRUMjmVCjxUsvbeyvOVp1Bj+vHGPGPUIIZ8CgcG31oe8oAGYGUGCGKGOGBGJGFGNGDGchniY+dj6h7NOIZ9

2EDyI8XtETMt4jdFJIU4C5nOScV8rtc25Wu5qcFEX4SSVItkhtoRoke9Ozi4E4BuabHqlt2O3kjt8UIO4UvtjULUHUfR5OiAUd3pfHaE2F+Oxa2dwLklixxd+CjC7U2xtd6lH9rrLduVndldXYODfdlzNCo927U9uYby/Ov6TSPmjfDx+i7se97xz0BFC/Gudi99xV/ir9vu1Lkoeuvl8hDnIDkSkD1J8DzLKJ7sJvRJ2DuYN/BD/NNvEEeh0zhF

CzyhKznvQ4LDWtHfDnJz2EYNHD3PAwfPfVIj11kjiVKVLPWjx1Kji78jo9tIY9IYwiYiUiSiGiOiBiJiVidiJ12lPoZCem5wQ4dknDM4HtA6WEPNDMXAcZxk1DiSHUDnNjNSM90VC1Fju1KvZjl1VjldVNzETj61Hj9m94v19AQGJoUsaiDgBoUgaiXYBoMiUgdlXAcOODRHC8ZNreuTo5zguNIkHDDucfUkSF54ZI+hhQvZe9UaCcGLCtxkpS34

Bl/RHDaz1zqF8TFRtzgajzrtzR0anzgd/zyC5a4LvHfpIxuOwl2Osx1ahd9UzarUmxpzZLsopJzd/p2m3y6y3AXYXpqlvLw92lQr1HgKJx1BLSUCA8FZR7S0mLWrrBAuECQESjFZcJlriDjJiAeJqVzryAbrxSf95EQDglGVjAhxtJ1rsb6D/uxD6dLD4B2blWYCSNRXtaf4KhAEBvj/fbvDw7gj4gIvNKU75PW7mjhyjPMf4j+jnHzHpjmvDHz2

WT61Dj/ALj4npBjmvj/16iPoLoDkNQOAQGfYOAUgCiCgd7Q+DkQGJDaTtjlf6hjFWGrDacHOYCEEPcskQkWi5RZ5TnCkXOEZyOrvNq2tadDvW3TD/NG2kAZtn1QMJ9tdegFYOgNV86DsAu2UM3uOzC6KkicU7SLknWygxd7eZLJ3lnSS6it12efD3i6yu5WUHWK6cxHYyD4qxj2jIIriT1CL9QliWrTlje0M7MtQsifF9sX0eTNdCiH7NrjAQ67+

lf2QTFAn11L5NYUmFfYbv0Wr7N4AGr+bvna0m7FBkOoA2thh2RSBo9uwDJrAdx1QD8h+VuA6md2o5Y8buyqcfoMzO615GOtA7HhXlx4psee8qNfkT3Sa8dfo5QEemPQnqGpp6s9eeovT6DL1V6XPZflQHk6JBK4nkCSK6Wnjod+G2JaFMpH0SppGWlkRQa82OjvBJwoTL7J5GLhGYoBnoZEpOGBYAgNIg0daC5zgH+0EBnbTzsi2QGG8/OQ7COtN

R4iYDQulvCLkS2i7zsQE61B3kuwgArtyBPpFLjILS6e9t2PvMYDlyYGdhg+8tdgZvzD7QIWMI0AbPH1SRTRUibLRkKZEuZeRlC6fcQVXwlZSDgyKwrro9Qbo5EFBoZWgZX0z6N4a+mg+vtOhm4L5SheGCoXOCqGkhK0GceoZPH+DARjE60UwZ03VQWCjuhHYvCP1I5T95+iqPEagHu6CUhi3NXmsCAFpC0RaYtCWlLRlqYx9QAPfMIcC7jKIKEAI

JShJHdK0plAMPcuJGiuCok8MDDVEKHzo5io3B3gifgv1n5L98e6YQntx0CEcD8C5QcONRG+DipJA2AQGPQAAwURnA+AZiKLVZSSA6gYMPoBRASHyijkfOPYHCE8jIhpwxIEisBE/6FVTgykSjIeCPDVdy2xOFviCAj7K9O+ig2oerybbQstesLdzl0L14jVUW8LLXKgON7DtTePSc3hO1jrjCbec7O3tMMsaO8FkzvAIp3TFZUCN0NAhypl11hjB

/eadA9jsJYEh9iu57ainbh06vsau5wy0kZgT6MgQIGkN5O4zfaPD/hkghJkJQQIfCeuAHNkooOaxys/hI3SDuNxg6t44OIIw/BuLmCBi2+IYquF3y3H2Je+WqfvgXkH4ndaBUDXEU4IcEEi7xOI9HrKPvGSi5+Pgh/gqP8FKiPqQQj2OUD6CwxCAPKfAHygVAAZ9AUAGoH0CMA1MqgmQa0b4K2DK04gXaLDAUJ1qeQlKe5NkommnD3opwaE5HsUI

WqUhRIpuKuB3GUjcMNOKhekhGJgFRiGJM7eAUmOFBxikB3nNiSmIGGQ1I66YnHCFwt6TsTGuYyYfmMgDWYrG5LLCrqSWFu9GslYhsg4xrGrJeJkkvaswJux7CxRpXbgBpA5wAgEEAgqaOkKuHHMjJuyEcTQmFYSCe6/1aQXxUISBMnqXwlEI8GA7l9QCy4tQR6kBGlkX8wItvO/h0E7jbEZEjSGmlzippta2ybQZ/jRGg0MRVgq8bYNH6PiPBjg1

PE+LfFe9ruxAXKffySFfj1+yoryuAGJirI4AcAE0ABCbHzBbIGQcoEQDRRPAGAhABABQHFT69Exe8fthqEtYlBsAIgE+NmBvD6ATQ/VToR202BBcRp70MaekG6kJje2bEnXGChMptThpuMBaeNIAz8TAuIw4SQUDmk7Ssgi0iaQSzwFbT5p508aZNIIHvx8xp00aeNPZSFiFSL03aekCqCJcXeQ026VAAukAZOAUAADB4kNAKRBWX0u6ekBBlZAJ

ghAIwGwOAQwygZ40gYFgAtQtSpoTWQyuHUgDbTXp6QWqRKMX5p40ZF04YDKK8Hvjuen4gGWdPRnpBa8AwTeqAlmmkR2QRoGoCgmRCYoW6FkGBKSGhlczeQ+AIVMIUrgNxwWyiJHrWjalGA2ABgeqcFgIBCAWcrGEJldkplvTNJSwF8LNLlAkBEZyM/EKjONnEATQCAcZtDMtkVA2AW2amRomCB2TIAlspTO7HFS8hPYpAZQFKAAAUpwDENNBDnBz

qATISNAAEo9QrKBAMoGrDHwlg/s3AEHK+ARypIGc9OZHKBAxydZRM96A9K5C/SoAy4fMJgWoEIA459YUgJd3diZAXZqENkBrMeJEBxmzcrPhwE3TcAO5cYIQFAHuxoAO5OsuwLDC1DZAJgXcuAA7KdldzNArsp4ashWCEBGAAwZWXtjQDuxWCYQYIMvOQSPFLYUAAwGzIoZDcIyK4rPqWAMATA0ge8qaL5KSmsg6gy81eevM8p703i+oRmIe0JgD

ggAA

%%