Title: Truth and preconditions