modified up to acyclicity of infinite boards