Assumption syntax error