anchor.diff:    # NixOS release version
     system.stateVersion = "17.09";
   
  -  # Startup device
  -  # TODO Make system-agnostic
  -  boot.initrd.luks.devices = [
  -    {
  -      name = "root";
  -      device = "/dev/sda3";
  -      preLVM = true;
  -    }
  -  ];
  -
  -  # TODO Install antigen
     # TODO Install zotero
     # Packages
     environment.systemPackages = with pkgs; [
  
positive.code: 
    # Networking
    networking = {
      hostName = "nixos"; # define hostname
      networkmanager.enable = true; # enable networkmanager
    };
  
    # Set your time zone
  
negative.code:     /etc/nixos/hardware-configuration.nix
    ];
  
    # Declare startup devices and boot loaders
    boot = {
      initrd.luks.devices = [
        {
          name = "root";
          device = "/dev/sda3"; # TODO Make system-agnostic
          preLVM = true;
        }
      ];
      loader.grub = {
        enable = true;
        version = 2;
        device = "/dev/sda";
      };
    };
  
    # Declare hardware, including Bluetooth and PulseAudio
    hardware = {
      bluetooth = {
        enable = true;
      };
      pulseaudio = {
        enable = true;
        package = pkgs.pulseaudioFull;
      };
    };
  
    # Environment variables
  