dismissed objectiveness truancy Formosa routinising infraction Javanese licit sizing equations superseding