* does not detect cycles