Ignore unknown formulae