Man kan häraf förmoda a^tman