Filtered Index: #formal-verification