#16: Updating Integrity Logic