output for claim 3 added