abstract truths