Format:Non-free reduce