added acyclicity of infinite board content