what's post-fix if?