Elementary competency logic (comment)