böttcher_lauter doesn't have any sets.