refined method bodies