Here is what I come across in process definition examples:
<conditionExpression xsi:type="tFormalExpression">${wf_reviewOutcome == 'Approve'}</conditionExpression>
It's obvious what the code does, but I want to learn more about FormalExpression, like, where it comes from and what else can be done with it beyond comparing two values.