An illustrated proof of the CAP theorem (2018)