ohhh alright, thanks a lot! I’ll probably go with the then notation since it looks the cleanest in this scenario