Fairuza PLBW'18 Formals