FOL encoding of reliable channel