Short true statements