Generator Systems: Coincident Constraints — LessWrong