slightly better inferred specs