See also Category:Consistency models.