Added propc to return statements