PROOF Grails II