How would you define prime-formula? Add your definition here.

comments powered by Disqus