Yes, but Future Logic is big enough as it is. Really, the exercise is for you to find concrete examples, given the abstract form. This teaches you to think in formal terms, which is a powerful skill to have.
Something about you (optional) logician