finite reflection