changing launch config
fixing assumptiong conjunction bug