Correct or remove

VERIDIS: Modeling and Verification of Distributed Algorithms and Systems

No account needed. A person reads every request. A removed card stays removed when we refresh the data.