always-5-in-p-2