Developing a self-applicable verification system. Theory and practice