AGM variables should be "true"