Is equivalent to: