refutable
not defined yet