Update true.c