computer scientist here, can verify