generateA works and verified