then true statement is