Incomplete for cycles