prereductions