Some new methods in Goat