Added more psuedocode for isFeasible things