add disjoints and comments