Cyclic Abstractions