Some notes about things I left out for now. #4