Ranked Boolean Model Done