Level+3+inference