By using this site, you agree to our Privacy Policy and our Terms of Use. Close

sounds about right nj5. however i think the correct model uses 3 axioms, i can't quite remember as it was something i learn 3 years ago.