I realiteten , ty formelteger