SOME FORMAL RELATIONSHIPS, AND SAMPLE SYSTEMS