implemented axioms list, added function to add axioms to list
added unnescessary newline