switch from lists to set in system and bcnf => formula