[UNSTABLE!] Implementing check_access.