trmfs (xxx) Be vs. Prime