Title: Weak autoepistemic reasoning