Fixed history table with right preconditions