Declare this formula and plowshare formula as conflicts