05_test_soln.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Bite Size Bayes\n",
    "\n",
    "Copyright 2020 Allen B. Downey\n",
    "\n",
    "License: [Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)](https://creativecommons.org/licenses/by-nc-sa/4.0/)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Review\n",
    "\n",
    "[In the previous notebook](https://colab.research.google.com/github/AllenDowney/BiteSizeBayes/blob/master/04_dice.ipynb) I presented Theorem 4, which is a way to compute the probability of a disjunction (`or` operation) using the probability of a conjunction (`and` operation).\n",
    "\n",
    "Then we used is to show that the sum of the unnormalized posteriors is the total probability of the data, which is why the Bayes table works.\n",
    "\n",
    "We saw several examples involving dice, and I used them to show how prediction and inference are related: the Bayes table actually solves the prediction problem on the way to solving the inference problem."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Bayesville\n",
    "\n",
    "In this notebook we'll consider a famous example where Bayes's Theorem brings clarity to a confusing topic: medical testing.\n",
    "\n",
    "Joe Blitzstein explains the scenario in this video from Stat110x at HarvardX.\n",
    "\n",
    "(You might have to run the following cell to see the video.)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 36,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/jpeg": "/9j/4AAQSkZJRgABAQAAAQABAAD/2wCEABALDBoYFhoaGRoeHRofHSAlICAfHyUfJSUfLi0xMC0nLS01PVBCNThLOS0tRWFFS1NWW1xbMkFlbWRYbFBZW1cBERISGRYZMBsbMFdCN0JXV1dXV1dXV1dXV1dXV1dXV1dXV1dXV1dXV1dXV1dXV1dXV1dXV1dXV11XV1dXV1dXV//AABEIAWgB4AMBIgACEQEDEQH/xAAbAAEAAgMBAQAAAAAAAAAAAAAAAQQCAwUGB//EAEcQAAIBAgEGCAoJAgYCAwAAAAABAgMRBAUSITFBURNSU2FxkZLSFhciMjNygaGxwQYUFSM0QmKC0aLhJENjc7Lwg/EHVKP/xAAaAQEAAwEBAQAAAAAAAAAAAAAAAQIDBAUG/8QAMhEAAgIBAgUCBQMDBQEAAAAAAAECEQMSMQQTIUFRMnEFIjNhgRQjQpGx0TRDUsHwJP/aAAwDAQACEQMRAD8A+fgAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA7ngtW5Wj/APr3B4L1eWoddTuEWRqXk4YO74L1eWoddTuDwWq8tQ66ncFjUvJwgd3wWq8tQ66ncHgtV5ah11O4LGpeThA7vgtV5ah11O4PBary1DrqdwWNS8nCB3fBary1Drqdw3UfoZiKmmNWg/3T7osWmecB3/BDEcej2pd0eCGI49HtS7pJXmR8nAB3/BDEcej2pd0eCGI49HtS7oHMj5OADv8AghiOPR7Uu6PBDEcej2pd0DmR8nAB3an0UxEVdzpdqXdNUPo5Wk7KdPrl/AHMj5OODv8AghiOPR7Uu6PBDEcej2pd0DmR8nAB3/BDEcej2pd03Q+hGKlHOVShb1p90EqSl0R5oHpvAfFcpQ7U+6PAfFcpQ7U+6RaL0eZB6bwHxXKUO1PujwGxXKUO1Pui0KPMg9N4D4rlKHan3R4DYrlKHan3RaFHmQem8B8VylDtT7ppq/RDEwTbnR0bpS7otEHnwejpfQvEzipKdGzV9Mp90z8BsVylDtT7otA8yD03gNiuUodqfdHgNiuUodqfdFomjzIPTeA2K5Sh2p90eA2K5Sh2p90WhR5kHpvAbFcpQ7U+6PAfFcpQ7U+6LQo8yD03gNiuUodqfdHgNiuUodqfdFoUeZB6bwGxXKUO1PujwGxXKUO1Pui0KPMg9N4DYrlKHan3R4DYrlKHan3RaFHmQem8BsVylDtT7o8BsVylDtT7otCjzIO/L6I4hVHTz6N0r+dK3/E2w+hOKf8AmUe1Pui0Qup5sHpvAbFcpQ7U+6T4DYrlKHan3RaJo8wD0/gLiuUodqfdHgLiuUodqfdFoUeYB6bwGxXKUO1Puk+A2K5Sh2p90WhR5gHp/AbFcpQ7U+6PAXFcpQ7U+6LQo8wD03gNiuUodqfdHgNiuUodqfdFoUeZB6bwGxXKUO1PujwGxXKUO1Pui0KPZZtb/T/qIzK3+n/UWgU1MryolXMq/wCn/UMyr/p/1FoDWxyolXMrf6fXIZtXiw7T/gsOrFa5LrRCrRf5l1oa2OTE0Wq8SHa/sPveJHtf2LSZI1scmJUtV4ke1/Y2YGlKM6kpJLOS0J31I3kx1S9VjU2OVGPU55JBJseeAAAAQACjj3otc1YKm8+LtoeldBrxdS8mXaLtSw73uon1og0S+UtgAkzIL+F9H7WUS5hPRv1istjbB6zaLgWMjuAAAAAABz8c/In0M6Bz8a/In0MhkPZlnA+hp+qjeaMD6Gn6qN5Ij6UCSLAEkgC4AAAAAAAANcq8FrnHrANgMIV4S1ST9pmAESyAAcyp+Ll6i+Rew+0o1vxcvURew+0h7lYbP3NpNiCSSwAYACBBIBBJBNgAAAACCQDULgEEmqrNpxjG15X16tA+r38+Tlzal1GNT01PokWC8YpmGWck6RXqRjHVFdRXlZ7F1G/FLaVjSkckpyvcmMI866HYz4ScdUs7ml/JgQnpKuCZaOaa7l3DVs5tNNS3G+StGfqspUJffX/R8y7U8yXQZrc7buNnNJIJNzzQQSVMTi812XtALVOSlJxT02b6lc1qqnG5TyXWz8VHc4z0ftZrnVSjZEF3DojRiX5TZ1cHFSw9F7nU67nEk73L6nm4TDy3VphmiXRnSJMKdRSV0zMkwBcwno36xTLmF9G/WKy2NsHrNpoxGJjTtdNt3slpNxRyhCTlTcYuVs69jJHZNtRtGX2guTn1L+TfhcQqkbpNabad5RVOryb9ski1gKMqcGpa3JvXfWWkl2M8cpt9S0gAVNgc7G+ZU6GdE52M8yfQyGRL0stYH0NP1UbzRgfQ0/VRsq1YwV5OyJIj6UbCCm8TUl5kFFb56+pGObUfnVX+1KJbSyjyxReJOVhoylG7qVL3a87cbfvo+bUz+aa+Y0sjnI6AKuGxmfLMlFwnbU9KfQy0VNU0+qBhXq5kb629CW9mZVh5dWT2Q0Lp2sfYN0rJdJvTUl7E7RRiq1Nearr9MbrrNdernN8VOyW972aXJvWaJeDknkrcsyq0pecrdKt7w5cE0024bVrtzoqk0Za4PVbQQ0TDJ4OqnoJK2BneFtsW0WSh1nLr/i//ABovYfUUcQ/8X/4y9h3rIe5WHf3NwBqxGIVNJtN3dklvJLN1ubWCj9pLk5/0/wAkPKa2U5daROllObDyXiSthcYqknHNcWlfS09Bo+0XptTTSbXnW1O24UxzI1Z0Ac/7Rnya7f8AYmOUXdJ07XklfOvr9g0sjmx8l8g0YrF8G4rNznK9tNtRXeUZcl/Wv4FEvJFOmdAHO+0Z8ku3/YtYXEcJFu1mm01e+kU0I5Iy6IyABU0NE/TQ9VjE4xU3ZrYtpH+euaBQyz5y6F8y8djny7/g2zyrBq2b7/7Gn69Dcc5kF6+5zak+x0/rkGbIO5yDqYXzV7Bsw0mm6LWHd6r9UvT9HLoKeC9JPoRaxEs2nUe6LfUZrc7V9P8ABz5SSTb1JXMMNWVWMpR1RaTvznNq45yUk9TTNuTKuZh60v1w+ZqzhjCy9WqKMW2cSpUu2b8ZjM+NkrFK5JMUXsh/iqf7v+LKtaTu+ks5E/FUv3f8WU6j8p9LINexFy/LTgI81d++JzzoUtOBq81WD91iGImzBV7PS9Z0U76jg05pJPai3hMda6a0FjGUTqG674B5rcXn60V4TUldaix/kP1yGTj3KmdU5WXUiL1OVn7jIDShqfkwpyqOUlws9FvebPvOWl7Uma6Hn1PZ8DeFFE6n5Mb1eV/pRtwdafCOEpZyzb3slbSYEYP8RLmh80VkkkXhJ6l1Okc/GLyKnQ/idC5zsZ6OfQzI65ellrBehp+qjVlJ6KX+7H5m3Behp+qjRlLTwX+4iy3KS+mbAAbnIV8D6NdMviWCvgfRR9vxLBCBpk/v6PTL4HROc/xFH93wOgZS3OnDsySnh5WhUl+qTLiKVFfdT6ZkLcvk9JWWpdAIjqXQiTSOx58/UwQvPj7SSPzR6RLYti9X9S5gX5U10MuFHCP7yXqoumT3O+DuKObitGKjz0/5LuH2lLG/iqfqfyXcNtIe4h39zcc/Kz0U/X+R0DnZW/yvWfwLLcrl9DKwAOg4Ddk300/UXxK1PXP15fEt5N9LU9WKKlPXP15fEzXqNpehGY1zp/7kQKfpaXrlpbGcdyxlXz6X7vkVyzlPz6P7/gVisNjTN62C1knzan+4/gVS1kjzanrv4Ceww+otgExZidxWj6d80EUMsLyuix0Kb+/qeqvkc/KqbqW6PgXgm6S8nNl3fsc1K5sVHeboxS1GVj1cfCxXrOQ08CucsU6marW0GNhY25GN9gX8n1o58ru10rXL9dRcWpK8Xoa5jgWLNDFtLNk7x37jjzcHS1Y/6HTjzfxkU8bkuUE5wefT3rWulGvCacLiFulSfvZ24yVOcJynmwfkpcaTejRuNVSnT++pypum56HKGlaHdO2w4k7LOKizzjMTrSyHJ+ZVhLpvFmH2FX3R7SLWZ0zTkV/4ql0v4MqVPOl0v4nUwOAqUa9Oc8xJS0+XHVq3mmtk6TnJqdKzlJr7yOq5BanRzy/gtOGxS5qb95j9npedXor97l8EXcn4Wnm1qarxk6lPVGMtFtN+cMRTs4yYUjp4bJ9Cd7VpStrtTzfiy3SyXh85K03r1zS0LXoSJK96KOAq2skdipVUaCu0s6ej2GrJVShPOjTpqM4q6v5V+sU6kpxTnr07LW06rEXZDjp6mn6xDjInho77mNersXtZosd2LhnLrIyM41WpSaWu2sz+sy5jVYWOpYMa7EFiOK3rqN2Aadao1qzYlGxMJuLvF2Zjl4SMl8vQvCWl2zvIoYx+RU6Pmb8JiVUW6S1r5orY3zJ9HzPJnBwlpZ3WpRbRbwfoqfqo0ZQ86iv1mFPHRhShFJuSitGpIq18VKbTdlmu6tsOnHwuSXWqMZ5I6KOiQzmcNPjPrMliJr81+nSdP6SXk59RawPoo+34lgo4bEqEVFp2W03rFReqM30RbOeeOWP1ErqS/wARS6J/A6Nzm0nn14SUZJRUr3i1sOkc0tzqwroClh/RT6Zl04lTEu0oRehybutpfDilklSGWSURwqSXQYuu9iNVibHqw4bHFdepwvq7M+HfMSq2lX0WZrsLFpcPjkqolOnaOng5J1G07+Si8cCjVlCV4/8As7WGxCqRute1bjzc/DPH1XVHXhyJrSUsd+Jp+o/mXMPtKmPX+Jpeq/mW6FldvRoOTuaQ7+5vOdlbXS9Z/Ayr5SjHRBZ3PqRQxGJnUtnW0O6sjsx8Jkl12MsuWNNI2Ar5z3slVGdH6SXk5C/kz0tT1YlOjqfrS+JuyfiIwqSctGckuZWNFKSSelec9vOckscoS+ZGsn8iRtFP0tL1zF1I8ZdZNKadSlZp+WtpEtikd0Wcqvy6PTL5Fcs5W86k3oV5Xb1FPhY8ZdZWGxpm9RmWskaqi/X8ilw0eMi5kj/Na1ZysxPYYfWW4TUkmndMk5eAr5ss1+a/czqWexXHEYuTKnsdeOetFel6ap0Io171JuWpbL7i1OjUbbzXp1mHAT4r6jkjxrx+j+p1Lg4Sdzf4K6oongkbuClxX1Mjg5cV9Rm+NzvrrZ0LhsC/ijS6Ri6bLPBS4r6mSqE+K+o1x/Es0H1d+5nk4LBLboU1G7S3meKq0sPJxadSotj0RT+ZZ+qTvfNZzPpBH/Et2azoxfyPQ/XrMkoOn3R5uThni+5TxOLnVlnSelaraEuZI9HncLGNSGnOSzrabS2o8sZ06so3zZSjfXZtGRi+qpnpKjhTV6slHm1yfsOVj8qOpFQprMhuvpfSc1u+vWAQklsAZKnJ6k+ol0ZcV9RbTLwDAypVZQkpRdpJ3TIaa1mJUk7mGxFKrJzVqdZryot2hN709jNWKxXBwlHOUq01aTi7xhDip73tOSAL633NlGrKnJSi7SWpo7dPKtKrH7y9OfGSum95wqcHJ2Reo4dR53vNsWGU3aIcqLdWEI+bUU77k0argWPWSpdXZixcnOIsLEgyuGjEJkAzp1HCSkta/wC2M6+Ic9WhGlgpLHGUlJrqiym0qQJJSJsXsqY2FjKwYsGFjOnVlDzZNEEBpSVMnbY6mFTmlLhpvetC07mXTh4au6ck9m1cx2k7pWPG4nDypdNmduGakinlLEWSgtb19BzEjZiamfUk+fR0Gu56eDHy4JHLklqlZJGcQDYzJziLiwsSBc24au6c1LZtW9GoESipKmE2nZfyhNKtRlfRmv5lWtXc9GqO7+TCdRyUU/yqy6CDlwcMsb1Pc0lkb6IgmxKRNjqszMbCxlYMWDA24etmPTFSjtTSfUawRKKkqZKdO0d6kqcoqUYxs+ZGXBx15qv0I5GT8RmTs/Nl7nvOyeLnxPFKux3Y5KSshpPWk+kjgo8VdSMjGpJpNqLk92hGF+TQShFK7Ubc6RUq5ShHRG8ujQiriKVeb8qLtsS1I0fVqnEl2Wd+LBhq5TT/ACc08kv4oUKLqSUV7XuW878VZWKeTKcVTzk1eWvm5i6eT8T4l5cuhbR/udHD49Mb8gEEOSR5R0mQMc7mYzuZgGQMc7mZKaYBJpxOFhVSVSKklpWte9G4glNxdohq+h5mrWo05yg8Is6L03qSZjHH027RwlNvpbOllzDRkozTSlqfOjnU6SirLrPo+DxviIKb6I87K3CVG/hotacPRi+aNzSoJakl0JIyJPWhihDZHO5N7kAkGpBi0YqhTvdwT5rtfA2EFZRjLdBOiKn1WOvDztvVRmEZ4OTS4Kqm900zYa4UYxk2tpxy4NX8r6GiyGUacY3zVZX2u7MyDJI7ElFUjPcixNibE2FkmNhYysLCwYAysQ0SQYmSILWDwTqaW7R2PezPLlhijrm6RaMXJ0ivqMXI6LyT/qf0/wBzF5Jlx11M5V8R4Z/y/uaPBk8HPBf+yp8aPvI+y574+/8Agv8Ar+G/5ojkZPBRBe+y5749bJ+yp8aPvH6/h/8AmhyMngoHUyfWvTab0xv1GtZJlx11MzhkprTwlnzL+5z5+N4XJGnP+5pjxZIu6OYC3i8A6azk86O3mKp34c0M0dUHaMJQcXTFibCxNjQqRYWMrCxBJjYixnYhomyDAlAgkGwxc9xi3cEUA2ATYkEAmwAMTr4PHxklGTtLVd6mckWMsuKOVUy8JuDtHo0ScnBY9w8memOx7v7HWTPlviGLJjnUtux6WGcZq0SAYuSPONjz9Kea7noYyTSa1NXR5svYDFuKzdaWo+l+K8JrjzY7rf2OHhcjb5b/AAdZq4SsV1jY7mQ8YtiZ85oZ6PLl4LQKbxb2JIx+tS5uoty5E8qReIcUyosY9qTM1jI7UyHCRDxyLCRhXqKMJSexGl42OxM52OxTm7akth08Jwss+VQ7d/Yyyt4oamVpSu7kAlH2MYqKUY7I8eUnJ29wTYmxJJBFhYkEWSY2FjIiwBiQZMgkgIyRgbEGAZWCJSKMkiwsZWDQskwMWZsxJIN2Dw3CS0+atf8AB2kraFoRpwlNQgldX1vpN58n8Q4l58lfxW3+T08GNQj9wAQ3Y883JBjn9LGc9wBkDHOe4Z/SgDIEJ3AAaONjcNwctHmvVzcx2jTiaanBxbXNzM7uB4l4Mn2e5jmxqcfucRE2FjJI+us8siwsZWFiLJMGiDNmLJRBizAykYlkQCQZJAEWFibE2IskixFjIAGNiDIhokgxOhkzF2fByeh+bzPcUGQY8RgjnxuEi8JuErR6Nxvr1biUijRylHNWcnnbbJEyyktkX7dB8q/h/Eaq0npc+FXZySYSs0yGQz6+UVJNPueWm4u0XkaqlSEGs+aTb0Xla/sM6bul0HOynkl15qaml5Nmmr6NOldZ8g46ZOL7H06lcU13OsVaEnw1Rf8AdBvpxzYqO5JdRWoO9ebW5/IzfYvHZlmrUjGLc2ox2tuxhScWlKErxe55yNGVMFw9PNUs1p3W72jJ2E4ClmOWc7tt7NO4s0qKpuyy3YpN30lqu/JZVPc+FY6jKfnoeT8Rn8yiSSgiUeszzCUTYIlFSRYWMkhYiyTCxBmQxYMGQzJmLLIgxMoEMR1kkGNWUIeVUqZt3ovJxXQkWYu+rUczKmTXXzGpKLjdadVmXsLS4OnCF75sUrmbssV4zf1yS2Zn9/5LlSSim5NJLW3osc9TvjNGyNvcWMoYbhqUoXtezT50XyKq9iIk0c2VpU55y5pOSfWbJaipkzAuhBpyu5O7tqLMyFb3DFN2knuaZ6JO+lHnC9g8dmLNlpjsa1o8z4pwk88VKHVo6OHyqDpnVaIUUa44um/zr26A8VT46+J85+ny3Wl/0Z364+TcCrLHwWq79hreUd0etm0eA4iW0f8Aoq80F3LwKKyjvj1M2Rx8HruvYJcBxEd4/wDYWaD7lhxRKRqWKpv86+Aliqa/OviY/p8t1pf9GW1x8m089WlnTk98my9i8fnJxhoT1t6/Yc9n0PwvhJ4U5z6N9jh4nKp0kSldWu10EUKlNylGE05LWs/Oa62TDac7J+R3SrcI53SvZW0u+89WVnMjpYxtUalteazHASvRh0W6hjZWozvxWuswyY/uI/u+Javk/JH8jOtVp5yhKaUnqjn5rfUzOMbK12+k5mNyO6tfhFOydrq2lW3HTkyibLM1vWSQSjQqSjIhGSKkgmwSJsVJIsLGViGAYmJmzEkgxZBkzFliCYGCnThNRlU8t7HPS/ZqMlrOfjMjurX4TPsna6tp0bisrWxKOizEyZiyxBaoeajYa6PmozPkuJf70/d/3PpsC/aj7L+xrxFHPt5TVuojDYfMu73b9mgVsXTpu05qLtez3GCyjRbSVWN3zmGnua6ulFogEAUasR5vtNBvxHm+0rn0nwz6H5Z4XxD634MkZIxRkjvZxETctGal0vUv5Mqed+a3sujXXm4wnKKvJRbS3s5ORcoVqlVxm86Oa3qWgq32JSO7J2Te5XK2Tq7qU25a85r5lmWp9DOdkXzJr9XyLJfK2Q90dCV7aNfOak5302ae1XVvYVMuYqpSpp09F5WcrXshkfEzq0c6prUmk9V0UT7E0XWQyWQy6IMWQtZLILEG25pxVDhI2znHo+Zsua62KhTtnyUb6rlbrqTuasHgOCk5OV3ay0WLlyp9pUeVj1lm4bcnbCVEmEibmLCIBKIJRIMkYycr2jZLe9PsSMkVMq4idOi5Q13Svrst5VuiS7C9tNr82o142q4UpSWvQl7XYo5CxdSrCfCabNWlbXvRbyl6Cfs+KEOrQfRG7DzzqcJPW4q/STO9tFr85pyc/uYdD+JzMuY+rSqRjB5sbXvZaXfURLo2SuqOtBy0qSXM1qfsJNeFqSnShKStJxTaNjJIIZiSyCyIENZsua4mdyGEUa+TXOTfCPS9TV7e8u0aahBRWpIr/aNHlY9Zso4qnUbUJqVtdiXNtU2SlXU3XMZaibmMiEDFGSMTJEkGSIk2l5Ku+olEogkinnfms+hNG1HncHlOvLEqMtKcrOFtS/sehRS7JqirgsS6k6qeqMtHRpXyLTObk7RXrLnf/I35Urzp0Jyh5ytz2V9ZfIqfQiPVG2801fNa22umufnM2cvIeMqVVPhHnJWtK217DqFU7JqjFmLMmYsuipBtTNRncMGLIJLGAw3C1FHUrNt7v+siUtMWyUrdGUVZIk2YjDSpu0l0PYzUfGzb1Nvc+qjWladiRoAKkk3IIABjVV4srG7EV1TSctt7LeaIyurnvfCZPTKL9zxfiWnWmn1MkZIxRKPXPNMxGKWpJX3KxBJUko4rKaWdCMXnaVd6FcZGjaEnsctHsRbnSjLzop9KuZxSSslZcxdyWmkiKd2yZJNWelc5GrULkFKJDMWSyCUCCAYqau1fSthN0QbLgxuADL2C5jcCgTchi5uw2EnVdoK9tb2INqKtir2NJkjG1iQDNEmKJIJJ0RjqsktiOVjcoqpBximr62zqmDoQbu4Rb32RaDUXbRDTZjgItUYJ7r9Ztkk9aT6Vcm5BR9XZK6BkMEMlAhkBkEkBGVzF6BckGQIuLkUCbkMi4JAJRlVoyg1nxcW1dX3GJF3sDJEoxMiGSSoq97K++2kq4nKMacnHNbfUi0jGdOMvOSfSrhUn1Dvsc/JF3OpJ+3pbudRmEIqKtFJLm0E3Jm9TsiKpBJLQkkubQQwQVJDMWSzEsQDK5jbbsFyQD0WSMLwdPOfnT0vmWxFDJOT89qpNeQtS4z/g7x5/F5r+Rfk6cMP5M0Y5fcz9U4VKm5SUVrbsd7Gein6rOZkqF6t9yZ4meOqaR63Dy045MTyXUWrNftsYfZ1Xi+9HcBf9PAzXFzOPHJdR63Fe25RatdHpjg4+Fqs+m/WY5sSgrRvw+aU5NSKP0mVnRX6ZfIqYaLUEXvpHTcqlJLiy+KKqmoxsz08M3Bpo8TO/mZkSaKFdT6TcezGSkrRgZXJuYkk0Ct9dn/8AXq/0/wAmVLFSlJJ0akU9rzbL3m+4uRRNmVyLkXIuTRBJAMW7LTqAMatTNi3/ANuc6D8pPbdGeIrZ75lq/k1w1rpR5ufLrmktkaRVI6bdlc2woydKNXRmt2ttKuKlaD59B1MM74Knt8p/Fm/EZ5Y5JRKxjabMKeTa0kmoqz50b6eRar1uMfbc6+A9HH1UWTmfGZPsdCwxo8fVpuMpRetNpnpcBSzadNrReEW+fQcfLUM2u3xkn8vkd3Cehp+pH4I14merHF+SuKNSaOLlnCZlTPXmz90tpzj1tejGpBwlqf8A255jF4aVKbjL2PY1vNeFzao6XuiuWFO0ajK5gSdRiKk7RbScmti1sr/XZ/8A16v9P8lkXIomzVQxEptp05w0a5W09TN9zG4uKBNyCLkEkBl3JeEdWpf8sdL6diK2HoSqzUY637lvPUYXDxpQUI7Nb3vec3E5tEaW7NcUNTvscbLlJRlC21Sv03K2CwEqyk4tJRtr2vcXfpDrpdEvkW8i082hF7ZNv5fIz5rhgUluW0J5GjlyyPWWyL6JIRyRXf5UumSPRgx/WZPsacmJ5rF5MnShnyaemzS2GWRF9+vVkdzHU86jUX6X1rScXIXp/wBj+RtDK8mGTe5m4KM1R08rYThKd150dK51tR5xHsTg5XwGY3UgvJfnLc9/QU4TNXyP8Fs0P5I5pNzEk9A5jJMrTxclJpUajs9azbP3m8m5FElZYyd19xUXZ/ktmNxcUCbkNkAkgE04OclGOlt2Rid/JOA4NZ815bWhcVfyZZsqxxsvCGp0Y5Qw6p4PMX5XHTz30s4+Fw7qzUFovt3I7+WPw8/2/FFH6P0/KqS3JJe3/wBHNhyOOGUu9ms43NI7SVlZaEiSr9o0eOuszjjaT1VI9Z51nRaJxfop+qyjkZaZvo+ZaxWIg6c0pxbzXoUkVck1IxU7tK7Wt2MJ/VidUH+zI6gMeFjxl1o1yxMFtv0aTc5jccbK6+96Yr5nUWIhxjl5VmpTi00/J2dJhxHoOnhfqFTL3pKW7Nl8UcXFVNiZ1/pFNKdL1ZfFHBnK7udMdjzci+dkRbTutZdoYlS0PQ/cyiDbFlljfQo1Z1ri5pwzvBGU6sYtXes9VTWlSZlXU2g1KtF/mXWTwkeMutE6o+QZi5qliILb1aTYSpJ7METmoq7dijXruWjUtxjiH5cuk1nm587k3FbGkY0CY610kEw1rpRzLcsW8a/JXSdTDTtgKd+PJe9nKx2qPSzrYSP+Bp+tL4s34r6hEfSzu4B/dx9VfAslDC14U6UM5pXirGqrlC78mSS6UcbdHXHYr/SFeXTf6X8f7nXwvoqfqR+COBlKs55l3e1y5Qyg4wis5aIpabbjqyS/Yg/czj9RnYNGLw8Ksc2a6HtT5iksqPfFmTynDbbrOZTp2jV13OPjMJKjKz0rZJan/c0XOzSrUFJuU7qTvmvSl0HHqWznbVd26D2MGbmKu6OGca2IuSZww8pRzlm9GdFPqZi6UlsfxNtcdrKEEXM40ZvVF9RnLB1FFycbJa9KGuPkUzTcsYTBzrO0Vo2yepFeK0rpPYQikkkrJbFoMOIzPElXc1xQ1bmnCYSNGNo69retm8A8mUnJ2zrSroji/SHXS/d8jpYCNqFNfoRzfpDrp9EvkdXC+ip+pH4HTk+hH8mcfqM2gA5TUiSun0HAyEvv36j+KPQHAyN+Jl0S+J1YPpzX2Mp+qJ3yGr6HpRJhUlZar3OZK2as85jsNm15QhF2emK9l3YqM9NhMIoaW23ptnO7V9245eXopVYtK146ed3Z6mHPqkofY5J46Wo5twbMNhp1W1BXaV3psZzwNaOunL2K/wADpc4p02ZU9zSQbPq1Tk59lm2nk+tLVB+3R8Q5xW7FMrXMoQcnaKbb2IipBxk4vQ07M72QoLgW7K7k9O22gzzZeXDUi0IanQydktU7TqWc9i2R/lnSAPInklN3I7IxUVSKWWPw8/2/8kaMgR+6m/1/JG/LP4efTH4o1ZB9A/XfwRuv9O/czf1F7FNU48WPUiHSjxY9RmDzzo0x8GuVOCTtFJ9BhTpxlrSfSbZ6mYUdTMpP9xHRGK5MlRlwEOIuoh0IcVGwhmtnPoj4K1enBakjXSWhkzdxT2mOV/KdHDQisiaRp+kb8uiv9P5nHO19IKUpTpZsZP7vYm9pyXh58SXZZ2x2POyL5mawbqeEqSaShK7e5o7dDD08Mtkq22WtR5kHJIiMHJnOw0WoJNNPnVje8l59pyqwgmlZa3YzxNRym23dkxR18RkrBCu4x405tPsYRyVRXnV2/VgZ/Z2G49V9CivkTmmSiedzGdXKiYPJ2F41Vdn+DXUgou0W2lqb12N+aaaqszt4HI+ZX2MM8Eo2jXLJE5+VCcHnac1uzXMVcRk+tS0zptLetK60dGK0LoRupYmcNUnbdrRzzyfO/cusKaR54mHnLpR38RgaeJV4JU625ebI5LwVSElnQkrPc2WjJNmMoOJOO1R9p18I7YKl68vjI5WMg3ayb16lc6mHpTeCpKMXnKcr30WV5aXc6OK+oykE3Fm7FP7qlo2MotLcXcVFxpUVLWk77SmefN9TthFaVaMZpEpLcRUJR15H/wDND3ZlGK5jVCy3IWW5Eg4rNtEfBFjWzaa9vtPR+HunJ/Y5+IiulGdluMkluXUTGJNkee227OjRHwYWW5EtLcveZWQsgm0OXDwivtLCqyWqc+0zQ9ftNuaz0eOlag/K/wAHNggm3ZmsTUWqpPrMliavKyMFA28AedbOjlR/82aMVVnO2fJyte1y/Rx9ZRSTg0lounqKOKp5tvaW6dPQuhHbkb5EPyYRguZJFpZTq7acH0SaMo5Sq7aKfRMrKBnnHLqZry/uyx9qT5GXWmcvA4jg6zm0352hK70lzOKOF9K/3HZw7+SfsY5ItOPU6v2xHo6U0ZxyrB/mj12KtzFpPWk/Yceo20y+x0Y4+L1Zr9qOVluedOD/AEv4kuhB64rqsUsSoppQd9+m9jr4N/uoxzWo06OvkClanKXGlb2L/wBs6pTyTG2Hp86b62y4VzvVkbLwVRQABkXPO5cpZte/Gin7dXyOlkT8OvWkVvpDH0b9ZfAtZE/Dr1pfE7skr4eJzxVZGXwAcJ0FHLX4eXTH4owyF6D97+Rnlr8PLpj8UYZC9B+5/I6l/p37mX+5+CoDVw36J9kcP+ifZOCjbmR8k1KiVlK6T22ukZRpOOvbqNksVTilZN/tf8GiWLi9Lv2WU027NOdCMdNm0hmr6zHn7LH1mG99TLUzPmQ8mucGmZ06Ds3qitb3EvEQ3+5mUMZGOpvqZWULVF4Z4Rd2jSsdUeqTt0WJWLqceXWb6tejKNtTWq0X/BWjOmnrfUyaZEsmPyjJ4qrx5dZpab0m7hae99TJ4Wnv9zFMjmw8opT1lulTdyvWknO61aC6sRDjI7uJX7WP2MMc4qUnZmoLcTZbjXw8OMuscPDjLrOKjfXHybGinjYpONtzLHDw4y6ytjKik42d9Z1cH9ZGWaUXBpMsUoJwjo2IxnQ3CjXgoxTlptzmf1mHG9zMMq+d+7LxyRUV1NFnF31NGUsbU1OcrPQ3a6V95lKtTetvqZZhiaEY2Wnb5rvfqGOPXqyJZY10ZVjTqUfKjLyZWs1tWvUY1cROeiUm0bK2JjN3lJ8ys7I1uUOM+pls03km5EY5QjGrRr0mUaTewzjUpra+pmz6zDf7mY6Wac2HlGr6nKXMk9L3Lea1C97XaTte1r9BbhjYxd032Wb/AK5RlF3utvmvX1HTevGoPsY64xnqvc5jRBunKL1Z3ZZglzS7LObSzbmw8mFjCPnFq64k+yV6fn6m9L0LWd3CKoz9jDNOLca8mdiVBm9VHspy6kTwr5OXuOHSbc2JpVJmyOH3mXCT5OXWjOKqy1Un2kTpHNX/AJMo1o2qW518joKK3FDEKSqNSjaV1oudKOFxDfmQXTI7uJV48ft/gwxzSlIxsLG2OArvW4R62baWTpp3lUzv0pJI41Bs25n2ObVp8K3GPnx/K1a633LKptJLdoOmsMtN9F9ebofWaVkmltz30zZ0ZHcVBdjNWpOVblSy3oxnOC/NHrR0I5MoL/LT6W2ZxwNJaqcV7DDSX1T+xyFiae+/QmzTwfAtzndttqMYq7d3rPRqnHcuowq0FLYvab4paU4+SklJ9WcmKqPzaL/c0jJYOtLXmx6E2/edakntMzJxSZam92zlRyVfz5OXM3ZdSKWV6CpumkktD1dJ6I4X0gf3kPVfxOnhF+6jPKkoOjrYBWo0/UibzTg/Q0/Uj8DcYz9TNY7AAFSTlfSBfdwf6vkbsifh160via8v+ij6/wAmZ5E/Dr1pHW/9Ovcx/wBw6ABDOQ2KOVakXDgpNxc7ZrtdaHqMskUZU6VpaHnNm7gc6V5a9+03JWNnOoaEZpXLUYOhDioxeFhu95uBjSNLK/1KPOYvAx2NotAikTZU+orjMfUVxmWzGc1FNyaSWtvQKRFmiOCinrujXXwe2PUbfr9HlI9Zup1IzSlFpp7UKRCkn3OYsPLc+oy+qTew6YI0lrOcsDLm6zOOAe1ovAaULPMZRp5tdx9X4I7MsnLY17UcrKv4p/t+CPRnbxC+SHsYY/VI532b6vUPs31eo6IOPSjY5n2c90ShlbD8G4atKlq9h6I4v0h10uiXyOjhV+6jPL6GbcFgs6lCV1pithZ+oLje4zyb+HpeqiyZZEtb9y8X8qKqwMd7DwMdjZaBSkWsqLARtpbDwEeMy2BSFs588DJarP3GH1Oa2e86YI0oWcxYWfFLNDC5ru7FoE6ULIstxHBx3LqMgSQYcFHVmrqPO4CKeKSa0Z0/gz0p5zJ/4tetP4M7OG9M/Yxy7x9z0EaMU7qKTMs1bl1Eg4zYixIAB5zK34qX7Pgj0Z5zK34qX7Pgj0Z18R9OHsY4/VIAA5DYAAAAAAAAAAAAHB+kHpIep82d44P0g9JD1Pmzp4T6qMs3oOxg/RU/Uj8DcasJ6Kn6kfgbTCW7NFsCM5b0Salok9F9WoqSUcu6aKtptK7tpsrPSzHIGKpypZkakJSvJuKkm7aNNtxGW5PM0XV5L4M8ljISwdSjiqMknKUvJ6Nejiu51StcOvcjFBTyuPeuh776zTzs3PhnXtm5yvfdY2nIyHg42+saW5q8VLzopq7vz6f+3OuccW2upeSp0AAWKgAAAAAA04qk503GNr6NerQ07G4Ahq1RXtXf5qceiLl80Z4ajwcFG99Lbe9t3ZtAIUe4AALAiTsm7N2TdlrfMiTVVu9CWgtFWyG6ONiKaxFTPpO+lKSata2i/uO8aaNBRWpLmWo3GmSepKPgrCNWwADEuDl5ZwrqOm1qWdnPctGn3HUIlFPWaY56Jaiso6lRUybXhKChC7UEk21ZXLhWVJwbcVr1tbeksITXW0I+CQAZlgAAAAAAAAAAADViK6pwc2m0tdti3nJwOGviI1YO8G5O7Vnd30W9p1KsHPQ1o59Rsp01E3jLlxf3M2tT9jMAGBoAAAcXKGF+/dSTtDydK0u6srWOrhsQqsc+Kai9V1a63mVSmpGqnBw0JWW5ajeUtcUvBmlpfuWAAYGgAAAAbIzkASLnOw8JVc+M6krQm45sXm3WtXevUZTwroy4SiopW8uDdk0tt94M9b3roXwasNW4SnGdms5XszaC6d9QcPKGbiJWhdVIKzjJW9/tOxVb2GFLDpabJXd7c5viloespNauhnh45tOCetRS9xsAMW7dmiBhFO7btpMwQDn5UwzqQdtd7pc55rJmRZVsZnYhxlGGnNi21o1J3S0HtGr6zQ6NpZyWnftNk9UNDIUpQblHuUsBga9GtJ50ZU5N3u3fmla2s6pEW7adZJzxgodEWbvqAAWIAPm3jBxnJ4fsz748YOM5PD9mffJoH0kHzbxg4zk8P2Z98eMHGcnh+zPvigfSQfNvGDjOTw/Zn3x4wcZyeH7M++KB9JB828YOM5PD9mffHjBxnJ4fsz74oH0kHzbxg4zk8P2Z98eMHGcnh+zPvigfSQfNvGDjOTw/Zn3x4wcZyeH7M++KB9JB828YOM5PD9mffHjBxnJ4fsz74oH0kHzbxg4zk8P2Z98eMHGcnh+zPvigfSQfNvGDjOTw/Zn3x4wcZyeH7M++KB9JB828YOM5PD9mffHjBxnJ4fsz74oH0kHzbxg4zk8P2Z98eMHGcnh+zPvigfSQfNvGDjOTw/Zn3x4wcZyeH7M++KB9JB828YOM5PD9mffHjBxnJ4fsz74oH0kHzbxg4zk8P2Z98eMHGcnh+zPvigfSQfNvGDjOTw/Zn3x4wcZyeH7M++KB9JB828YOM5PD9mffHjBxnJ4fsz74oH0kHzbxg4zk8P2Z98eMHGcnh+zPvigfSQfNvGDjOTw/Zn3x4wcZyeH7M++KB9JB828YOM5PD9mffHjBxnJ4fsz74oH0kHzbxg4zk8P2Z98eMHGcnh+zPvigfSQfNvGDjOTw/Zn3x4wcZyeH7M++KB9EkQfO3/8AIGL5LD9mffI8P8XyeH7M++RQs999VkpynTnmuVs5NZy0bUZ/UVJ3qzlU5noj2UeAX/yDjOTw/Zn3x4wcZyeH7M++TRTSj6SD5t4wcZyeH7M++PGDjOTw/Zn3xRc+kg+beMHGcnh+zPvjxg4zk8P2Z98UD6SD5t4wcZyeH7M++PGDjOTw/Zn3xQPpIPm3jBxnJ4fsz748YOM5PD9mffFA+kg+beMHGcnh+zPvjxg4zk8P2Z98UD6SD5t4wcZyeH7M++PGDjOTw/Zn3xQPpIPm3jBxnJ4fsz748YOM5PD9mffFA8mACSAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD//2Q==\n",
      "text/html": [
       "\n",
       "        <iframe\n",
       "            width=\"400\"\n",
       "            height=\"300\"\n",
       "            src=\"https://www.youtube.com/embed/otdaJPVQIgg\"\n",
       "            frameborder=\"0\"\n",
       "            allowfullscreen\n",
       "        ></iframe>\n",
       "        "
      ],
      "text/plain": [
       "<IPython.lib.display.YouTubeVideo at 0x7f0959b47fd0>"
      ]
     },
     "execution_count": 36,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "from IPython.display import YouTubeVideo\n",
    "YouTubeVideo('otdaJPVQIgg')"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "I'll paraphase the problem posed in the video: \n",
    "\n",
    "> In Bayesville, 1% of the population has an undiagnosed medical condition.  Jimmy gets tested for the condition and the test comes back positive; that is, the test says Jimmy has the condition.  \n",
    ">\n",
    "> The test is 95% accurate, which means\n",
    ">\n",
    "> * If you give the test to someone with the condition, the probability is 95% that the test will be positive, and \n",
    ">\n",
    "> * If you give it to someone who does not have the condition, the probability is 95% that the test will be negative.\n",
    ">\n",
    "> What is the probability that Jimmy actually has the condition?  \n",
    "\n",
    "Because the test is 95% accurate, it is tempting to say that the probability is 95% that the test is correct and Jimmy has the condition.\n",
    "\n",
    "But that is wrong.  Or maybe I should say it's the right answer to a different question.  95% is the probability of a positive test, given a patient with the condition.  But that's not what the question asked, or what Jimmy wants to know.\n",
    "\n",
    "To Jimmy, the important question is the probability he has the condition, given a positive test.  As we have seen, and as Joe explains in the video:\n",
    "\n",
    "$P(A|B) ≠ P(B|A)$\n",
    "\n",
    "We can use a Bayes table to answer Jimmy's question correctly."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Bayes table\n",
    "\n",
    "I'll use two string to represent two hypotheses: `condition` and `no condition`.\n",
    "\n",
    "The prior for `condition` is the probability a random citizen of Bayesville has the condition, which is 1%.\n",
    "\n",
    "The prior for `no condition` is the probability that a random citizen does not have the disease, which is 99%.\n",
    "\n",
    "Let's put those values into a Bayes table."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 2,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>prior</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>condition</th>\n",
       "      <td>0.01</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>no condition</th>\n",
       "      <td>0.99</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "              prior\n",
       "condition      0.01\n",
       "no condition   0.99"
      ]
     },
     "execution_count": 2,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "import pandas as pd\n",
    "\n",
    "table = pd.DataFrame(index=['condition', 'no condition'])\n",
    "table['prior'] = 0.01, 0.99\n",
    "table"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The likelihoods are:\n",
    "\n",
    "* The probability of a correct positive test, given the condition, which is 95%.\n",
    "\n",
    "* The probability of an incorrect positive test, given no condition, which is 5%."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 3,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>prior</th>\n",
       "      <th>likelihood</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>condition</th>\n",
       "      <td>0.01</td>\n",
       "      <td>0.95</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>no condition</th>\n",
       "      <td>0.99</td>\n",
       "      <td>0.05</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "              prior  likelihood\n",
       "condition      0.01        0.95\n",
       "no condition   0.99        0.05"
      ]
     },
     "execution_count": 3,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "table['likelihood'] = 0.95, 0.05\n",
    "table"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Once we have priors and likelihoods, the remaining steps are always the same.  We compute the unnormalized posteriors:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 4,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>prior</th>\n",
       "      <th>likelihood</th>\n",
       "      <th>unnorm</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>condition</th>\n",
       "      <td>0.01</td>\n",
       "      <td>0.95</td>\n",
       "      <td>0.0095</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>no condition</th>\n",
       "      <td>0.99</td>\n",
       "      <td>0.05</td>\n",
       "      <td>0.0495</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "              prior  likelihood  unnorm\n",
       "condition      0.01        0.95  0.0095\n",
       "no condition   0.99        0.05  0.0495"
      ]
     },
     "execution_count": 4,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "table['unnorm'] = table['prior'] * table['likelihood']\n",
    "table"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "And the total probability of the data."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 5,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/plain": [
       "0.059000000000000004"
      ]
     },
     "execution_count": 5,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "prob_data = table['unnorm'].sum()\n",
    "prob_data"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "Then divide through to get the normalized posteriors."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 6,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>prior</th>\n",
       "      <th>likelihood</th>\n",
       "      <th>unnorm</th>\n",
       "      <th>posterior</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>condition</th>\n",
       "      <td>0.01</td>\n",
       "      <td>0.95</td>\n",
       "      <td>0.0095</td>\n",
       "      <td>0.161017</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>no condition</th>\n",
       "      <td>0.99</td>\n",
       "      <td>0.05</td>\n",
       "      <td>0.0495</td>\n",
       "      <td>0.838983</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "              prior  likelihood  unnorm  posterior\n",
       "condition      0.01        0.95  0.0095   0.161017\n",
       "no condition   0.99        0.05  0.0495   0.838983"
      ]
     },
     "execution_count": 6,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "table['posterior'] = table['unnorm'] / prob_data\n",
    "table"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "The posterior for `condition` is substantially higher than the prior, so the positive test is evidence in favor of $condition$.\n",
    "\n",
    "But the prior is small and the evidence is not strong enough to overcome it; despite the positive test, the probability that Jimmy has the condition is only about 16%.\n",
    "\n",
    "Many people find this result surprising and some insist that the probability is 95% that Jimmy has the condition.\n",
    "\n",
    "The mistake they are making is called the [base rate fallacy](https://en.wikipedia.org/wiki/Base_rate_fallacy) because it ignores the \"base rate\" of the condition, which is the prior."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Put a function on it\n",
    "\n",
    "At this point you might be sick of seeing the same six lines of code over and over, so let's put them in a function where you will never have to see them again."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 7,
   "metadata": {},
   "outputs": [],
   "source": [
    "def make_bayes_table(index, prior, likelihood):\n",
    "    \"\"\"Make a Bayes table.\n",
    "    \n",
    "    index: sequence of hypotheses\n",
    "    prior: prior probabilities\n",
    "    likelihood: sequence of likelihoods\n",
    "    \n",
    "    returns: DataFrame\n",
    "    \"\"\"\n",
    "    table = pd.DataFrame(index=index)\n",
    "    table['prior'] = prior\n",
    "    table['likelihood'] = likelihood\n",
    "    table['unnorm'] = table['prior'] * table['likelihood']\n",
    "    prob_data = table['unnorm'].sum()\n",
    "    table['posterior'] = table['unnorm'] / prob_data\n",
    "    return table"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "This function takes three parameters:\n",
    "\n",
    "* `index`, which should be a sequence of hypotheses.  You can use almost any type to represent the hypotheses, including string, `int`, and `float`.\n",
    "\n",
    "* `prior`, which is sequence of prior probabilities, $P(H)$  for each $H$.\n",
    "\n",
    "* `likelihood`, which is a sequence of likelihoods, $P(D|H)$  for each $H$.\n",
    "\n",
    "All three sequences should be the same length.\n",
    "\n",
    "Here's a solution to the previous problem using `make_bayes_table`:"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 8,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>prior</th>\n",
       "      <th>likelihood</th>\n",
       "      <th>unnorm</th>\n",
       "      <th>posterior</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>condition</th>\n",
       "      <td>0.01</td>\n",
       "      <td>0.95</td>\n",
       "      <td>0.0095</td>\n",
       "      <td>0.161017</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>no condition</th>\n",
       "      <td>0.99</td>\n",
       "      <td>0.05</td>\n",
       "      <td>0.0495</td>\n",
       "      <td>0.838983</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "              prior  likelihood  unnorm  posterior\n",
       "condition      0.01        0.95  0.0095   0.161017\n",
       "no condition   0.99        0.05  0.0495   0.838983"
      ]
     },
     "execution_count": 8,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "index = ['condition', 'no condition']\n",
    "prior = 0.01, 0.99\n",
    "likelihood = 0.95, 0.05\n",
    "\n",
    "make_bayes_table(index, prior, likelihood)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "**Exercise:** Suppose we take the same test to another town, called Sickville, where the base rate of the disease is 10%, substantially higher than in Bayesville.  If a citizen of Sickville tests positive, what is the probability that they have the condition?\n",
    "\n",
    "Use `make_bayes_table` to compute the result."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 9,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>prior</th>\n",
       "      <th>likelihood</th>\n",
       "      <th>unnorm</th>\n",
       "      <th>posterior</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>condition</th>\n",
       "      <td>0.1</td>\n",
       "      <td>0.95</td>\n",
       "      <td>0.095</td>\n",
       "      <td>0.678571</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>no condition</th>\n",
       "      <td>0.9</td>\n",
       "      <td>0.05</td>\n",
       "      <td>0.045</td>\n",
       "      <td>0.321429</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "              prior  likelihood  unnorm  posterior\n",
       "condition       0.1        0.95   0.095   0.678571\n",
       "no condition    0.9        0.05   0.045   0.321429"
      ]
     },
     "execution_count": 9,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "index = ['condition', 'no condition']\n",
    "prior = 0.1, 0.9\n",
    "likelihood = 0.95, 0.05\n",
    "\n",
    "make_bayes_table(index, prior, likelihood)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "With a higher base rate, the posterior probability is substantially higher."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "**Exercise:** Suppose we go back to Bayesville, where the base rate is 1%, with a new test that is 99.5% accurate.\n",
    "\n",
    "If a citizen of Bayesville tests positive with the new test, what is the probability they have the condition?\n",
    "\n",
    "Use `make_bayes_table` to compute the result."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 10,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>prior</th>\n",
       "      <th>likelihood</th>\n",
       "      <th>unnorm</th>\n",
       "      <th>posterior</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>condition</th>\n",
       "      <td>0.01</td>\n",
       "      <td>0.995</td>\n",
       "      <td>0.00995</td>\n",
       "      <td>0.667785</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>no condition</th>\n",
       "      <td>0.99</td>\n",
       "      <td>0.005</td>\n",
       "      <td>0.00495</td>\n",
       "      <td>0.332215</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "              prior  likelihood   unnorm  posterior\n",
       "condition      0.01       0.995  0.00995   0.667785\n",
       "no condition   0.99       0.005  0.00495   0.332215"
      ]
     },
     "execution_count": 10,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "index = ['condition', 'no condition']\n",
    "prior = 0.01, 0.99\n",
    "likelihood = 0.995, 0.005\n",
    "\n",
    "make_bayes_table(index, prior, likelihood)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "With an accuracy of 99.5%, the positive test provides stronger evidence, so it is able to overcome the small prior."
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## The Elvis problem\n",
    "\n",
    "Here's a problem from [*Bayesian Data Analysis*](http://www.stat.columbia.edu/~gelman/book/):\n",
    "\n",
    "> Elvis Presley had a twin brother (who died at birth).  What is the probability that Elvis was an identical twin?\n",
    "\n",
    "For background information, I used data from the\n",
    "U.S. Census Bureau, [Birth, Stillbirth, and Infant Mortality Statistics for the Continental United States, the Territory of Hawaii, the Virgin Islands 1935](https://www.cdc.gov/nchs/data/vsushistorical/birthstat_1935.pdf) to estimate that in 1935, about 1/3 of twins were identical.\n",
    "\n",
    "**Exercise:** Use this base rate and a Bayes table to compute the probability that Elvis was an identical twin.\n",
    "\n",
    "Hint: Because identical twins have the same genes, they are almost always the same sex."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 14,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "text/html": [
       "<div>\n",
       "<style scoped>\n",
       "    .dataframe tbody tr th:only-of-type {\n",
       "        vertical-align: middle;\n",
       "    }\n",
       "\n",
       "    .dataframe tbody tr th {\n",
       "        vertical-align: top;\n",
       "    }\n",
       "\n",
       "    .dataframe thead th {\n",
       "        text-align: right;\n",
       "    }\n",
       "</style>\n",
       "<table border=\"1\" class=\"dataframe\">\n",
       "  <thead>\n",
       "    <tr style=\"text-align: right;\">\n",
       "      <th></th>\n",
       "      <th>prior</th>\n",
       "      <th>likelihood</th>\n",
       "      <th>unnorm</th>\n",
       "      <th>posterior</th>\n",
       "    </tr>\n",
       "  </thead>\n",
       "  <tbody>\n",
       "    <tr>\n",
       "      <th>identical</th>\n",
       "      <td>0.333333</td>\n",
       "      <td>1.0</td>\n",
       "      <td>0.333333</td>\n",
       "      <td>0.5</td>\n",
       "    </tr>\n",
       "    <tr>\n",
       "      <th>fraternal</th>\n",
       "      <td>0.666667</td>\n",
       "      <td>0.5</td>\n",
       "      <td>0.333333</td>\n",
       "      <td>0.5</td>\n",
       "    </tr>\n",
       "  </tbody>\n",
       "</table>\n",
       "</div>"
      ],
      "text/plain": [
       "              prior  likelihood    unnorm  posterior\n",
       "identical  0.333333         1.0  0.333333        0.5\n",
       "fraternal  0.666667         0.5  0.333333        0.5"
      ]
     },
     "execution_count": 14,
     "metadata": {},
     "output_type": "execute_result"
    }
   ],
   "source": [
    "# Solution\n",
    "\n",
    "index = ['identical', 'fraternal']\n",
    "prior = 1/3, 2/3\n",
    "likelihood = 1, 0.5\n",
    "\n",
    "make_bayes_table(index, prior, likelihood)"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## Summary\n",
    "\n",
    "In this notebook, we used Bayes's Theorem, in the form of a Bayes table, to solve an important problem: interpreting the result of a medical test correctly.\n",
    "\n",
    "Many people, including many doctors, get this problem wrong, with bad consequences for patients.  Now that you know about the \"base rate fallacy\", you will see that it appears in many other domains, not just medicine.\n",
    "\n",
    "Finally, I presented the Elvis problem, which I hope is a fun way to apply what you have learned so far.  If you like the Elvis problem, you might enjoy [this notebook](https://colab.research.google.com/github/AllenDowney/BiteSizeBayes/blob/master/elvis.ipynb) where I dig into it a little deeper.\n",
    "\n",
    "[In the next notebook](https://colab.research.google.com/github/AllenDowney/BiteSizeBayes/blob/master/06_xxxx.ipynb)..."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {},
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "Python 3",
   "language": "python",
   "name": "python3"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.6.9"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 2
}