Modified parameters and abstraction section, deleted libraries