Look at the bottom at page 14 -- implement this for nonstrict stacky fan
Look at the bottom at page 14 -- implement this for nonstrict stacky fan