Fer: trueness to type