Negate A in engineVerify() (verify works now)
Removed old comment