Add fact for start function