multiple implications bug fixed