Avoid repeating information from the background in the main proposition.