User blog comment:KthulhuHimself/Terminal array notation./@comment-25601061-20151026015054/@comment-26428969-20151027133657

oops! FOST augmented by the oracles "[phi:A]" that is true iff A satisfies phi (phi is expressed in FOST so it cannot contain oracles)