The data structures and algorithms used in OVERPROP were selected from many possibilities. Factors considered included efficiency of execution and efficiency of implementation, i.e. simplicity. Some decisions included the following.