The statement "steven is tired" is true because he is weak