anchor.diff:      preLVM = true;
     }];
   
  -  networking= {
  +  networking = {
       hostName = "alpha";
       #
       # The global useDHCP flag is deprecated, therefore explicitly set to false here.
  
positive.code:     useDHCP = false;
      interfaces.enp0s31f6.useDHCP = true;
      interfaces.wlp4s0.useDHCP = true;
      firewall = {
        allowedTCPPorts = [ 80 443 ];
      };
    };
  
    hardware = { cpu.intel.updateMicrocode = true; };
  
negative.code:   # no adhoc user managment
    users.mutableUsers = false;
  
    system.stateVersion = "19.09"; # Did you read the comment?
  
  }
  