INSTALL: In theory