Non-determinism, vadd, and populate appendix