New mappers, recursive verification, updated son