Text this: The densitized lapse ('Taub function') and the Taub time gauge in cosmology.