Juan Manuel Serrano - To type or not to type: a matter of logic