Guard evaluation works but is not extensively tested...