discovering the truth is for establishing secure logic