On 2013-06-07 10:42, Martin Escardo wrote: > Anyway, if trustMe does work as a postulate as claimed earlier, why is > it needed/useful at all? Dan Licata gave an explanation earlier in this thread. -- /NAD