discard assumptions