More explicit condition, body