add more assumptions and known issues