INNER JOIN with ON

Express relational combinations and predict their cardinality before relying on a join result.