and -> as