Libright logic: