Правда - это сущность в силу, о которой оно делает истинным, предложение. И это необходимое условие быть истинным производителем (хотя и не достаточным), что производитель правды требует того, что оно делает это правдой.