more system formulae