va1 is false
va1 is true
