alternate arguments further development, POC in Z[a]