edit simplify_logic docstring