Simpler solution to PE4