Well-formed Egon Kowalski's verified amateurs xxx