Actually, maybe there's a serious problem here, somewhere between behCall, behMerge, behDisjoin, and behLiteralBeh.