Adding C truth example