Implemented 'make_false' and 'make_true'.