Proposition: We do not have universal 'x' Proposition: 'y' depends on 'x' Conclusion: We should not work on 'y' until everyone has 'x'