}

    proc Paranoia {} {
	# This code performs a number of paranoid checks of the
	# database for inconsistent cross-references.
	log write 4 collrev {Check database consistency}

	#
	#    +-> Symbol ------------------+
	#    |      ^                     | [1]
	#    |      |                     V
	#    |   Revision --> File --> Project
	#    | [3]  |                     ^
	#    |      V                     | [2]
	#    +--- Meta -------------------+
	#

	set n 0
	set n 0 ; # Counter for the checks (we print an id before the
		  # main label).

	# Find all revisions which disagree with their line of
	# development about the project they are owned by.
	Check \
	    {Revisions and their LODs have to be in the same project} \
	    {disagrees with its LOD about owning project} {
		SELECT F.name, R.rev