You can remove the `if_p` logic here if you define a default in the spec above.