Some attempts at a direct reduction of the infinite to the (large) finite