göras för att bevisa systemet varafullt