Missing `effectively_installed()`