[Truffle] Completed the False#^ implementation.