The Latest On Necessary Aspects In shmoop