non-trivial summary test