Did you know ... Search Documentation:
Predicate abolish_monotonic_tables/0