Initial GMP work
Fix truth table, unit tests